Theorem proving
[计] 定理证明
🧩 词语组成解析
[计] 验证, 证明\\n[医] 药力试验(顺势疗法的名词)
🗣️ 情景例句
in a horse and carriage.
坐马车。
The fault of the ass must not be laid upon the packsaddle.
驴子不乖，休怪驮鞍。
Captain Ben Fawcett has bought an unusual taxi and has begun a new service.
本。弗西特机长买了一辆不同寻常的出租汽车，并开始了一项新的业务。